A Practical Study on Locking and Reference Counting in the Mach 3.0 Kernel
نویسندگان
چکیده
Mach is a multiprocessor multithreaded operating system. This implies that several threads try to access and modify the same data at the same time. It is necessary to avoid consistency problems without performance bottlenecks. In this paper we describe the use of coordination techniques when accessing some of the data structures used in the Mach Kernel to represent the different abstractions. The objective is to provide a reference to manipulate code and data structures in the Mach Kernel without jeopardizing its consistency, focusing on manipulation of tasks, threads and processor scheduling abstractions.
منابع مشابه
Locking and Reference Counting in the Mach Kernel
Coordination of independently executing threads of control within the operating system kernel is an important problem that must be addressed in the design of a multiprocessor operating system. The efficient coordination of operations is vital for avoiding performance bottlenecks without compromising system correctness. The Mach operating system achieves this coordination via carefully designed ...
متن کاملNaming Facilities for Operating System Emulation in Mach 3.0
The Mach 3.0 micro-kernel provides a foundation for the emulation of various operating systems with a combination of libraries and Mach servers. We present a general-purpose naming facility to help construct such emulation systems by assembling many independent servers. This facility defines a set of standard interfaces for a uniform name space with uniform access mediation and a set of practic...
متن کاملA Model and Prototype of VMS Using the Mach 3.0 Kernel
Digital’s VMS operating system has been a successful software base for our VAX processors since the late 1970’s. Existing operating systems are facing many new requirements and challenges in the 1990’s and beyond. This has led us to investigate new approaches for designing, implementing, and maintaining VMS. One such effort is described in this paper. Using the Mach 3.0 kernel from Carnegie Mel...
متن کاملMoving the Default Memory Manager Out of the Mach Kernel
1. Abstract We have implemented a default memory manager for the Mach 3.0 kernel that resides entirely in user space. The default memory manager uses a small set of kernel privileges to lock itself into memory, preventing deadlocks against other Mach system services. An extension to the Mach boot sequence loads both the kernel and user program images at system startup time. The resulting system...
متن کاملAdding Scheduler Activations to Mach 3.0
When user-level threads are built on top of traditional kernel threads, they can exhibit poor performance or even incorrect behavior in the face of blocking kernel operations such as I/O, page faults, and processor preemption. This problem can be solved by building user-level threads on top of a new kernel entity, the scheduler activation. The goal of the effort described in this paper was to i...
متن کامل